From 64e302157a87b246473a31fa104377a6d48eb046 Mon Sep 17 00:00:00 2001 From: Viresh Kumar Date: Thu, 8 Sep 2022 09:32:14 +0200 Subject: [PATCH] .gitignore: add init-dom0less Add tools/helpers/init-dom0less to gitignore. Signed-off-by: Viresh Kumar Acked-by: Jan Beulich --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 27881c9764..af9bf749c4 100644 --- a/.gitignore +++ b/.gitignore @@ -169,6 +169,7 @@ tools/flask/utils/flask-loadpolicy tools/flask/utils/flask-setenforce tools/flask/utils/flask-set-bool tools/flask/utils/flask-label-pci +tools/helpers/init-dom0less tools/helpers/init-xenstore-domain tools/helpers/xen-init-dom0 tools/hotplug/common/hotplugpath.sh -- 2.30.2